The crystal structure of vanadium pentoxide