The structure and vibrational frequencies of crystalline HCl trihydrate