Armstrong World Industries Reports First-Quarter 2023 Results