Theoretical Study of Oxygen-Vacancy Distribution in In2O3