Trapping of an activated HF molecule inside a double four-ring unit: a quantum chemical model of the microporous fluorinated gallium phosphate ULM-18.