The Battle of Polytopia is a pocket-sized Civilization for Android