Density functional theory for carbon dioxide crystal.