Lane-level map-matching with integrity on high-definition maps | Synapse