SiO2 in density functional theory and beyond