Normal mapping and Aleksandrov's theorem in Heisenberg groups