Gotta Walk Them All: Mathematical Modeling and Pokémon Go