“The majority of Otis's global labor force, including in the US, Korea, and Japan, is represented by collective bargaining agreements.”