Geodesic inversion and Sobolev spaces on Heisenberg type groups