The total workforce reduction announced in July was the biggest ever by Microsoft and came as chief executive Satya Nadella called for a new focus at the company while integrating the Nokia phone division