A global Inverse Map Theorem and biLipschitz maps in the Heisenberg group