An experimental study of hydroxyl in quartz using infrared spectroscopy and ion microprobe techniques