First-Principles Modeling of Polaron Formation in TiO 2 Polymorphs