Microsoft to cut up to 18,000 jobs in the next year — of which 12,500 will hit its Nokia operations