HD Maps for Autonomous Vehicles: Implications for Cartographic Theory and Practice | Synapse