How Microsoft’s deal with a low-carbon cement startup will cut its data center emissions