Metric normal and distance function in the Heisenberg group