Routines for converting decimal lat/lon to Google Map tiles, and back again.