League of Legends, World of Warcraft, or Magic the Gathering, you've probably heard about "mana." It is the magical power used by sorcerers, magicians, mages, and wizards. But what is mana, and how ...