The crystal structure of beta-platinum dioxide