EMCOR Group, Inc. Reports Third Quarter 2023 Results