Python functions to convert from/to zoom level to scale (assuming 96 dpi and latitude 0)