Fluoride crystal structures. Part I. Tungsten oxide tetrafluoride