How Microsoft boss will increase diversity