How Many Lines of Code Are in Minecraft?