Electronic structures and formation energies of pentavalent-ion-doped SnO2: First-principles hybrid functional calculations