DFT+U study of the structures and properties of the actinide dioxides