The infrared spectrum of tripotassium uranyl fluoride