Microsoft’s executive shake-up continues as developer division chief resigns