Microsoft Making Big Headcount Cuts Despite Record Profits