Refinement of the α-U4O9 crystalline structure: new insight into the U4O9 → U3O8 transformation.