DFT+U calculations of crystal lattice, electronic structure, and phase stability under pressure of TiO2 polymorphs.