Microsoft has an ambitious goal: become carbon negative by 2030. I look at how they plan to achieve it and what other leaders can learn from their example.