The infrared OH-stretching region of synthetic richterites in the system Na2O-K2O-CaO-MgO-SiO2-H2O-HF