Astec Industries, Inc.: Astec Reports Second Quarter 2023 Re