Microsoft may tie executive bonuses to diversity goal achievements