The crystal structure of K2VO2F3, a nonlinear dioxovanadium(V) group