HeightMapNet: Explicit Height Modeling for End-to-End HD Map Learning