Microsoft trims Microsoft CEO list; Nadella, Bates, Elop make the cut