Microsoft Buys Minecraft Developer, Mojang, For $2.5 Billion