Mulally makes short list of candidates for Microsoft CEO, report says