De-Excitation of molecular vibration on collision: vibration-to-rotation energy transfer in hydrogen halides