Coherent Online Road Topology Estimation and Reasoning with Standard-Definition Maps