β-K2V3P4O17: A vanadium(IV) pyrophosphate with a layer structure