OSMnx: Figure-ground diagrams of one square mile of Boston Massachusetts, Dubai UAE, Sacramento California, and Osaka Japan shows the street network, urban form, and urban design in these cities with Python in the style of Allan Jacobs Great Streets and Nolli maps