Semi-classical analysis on H-type groups