First-principles calculations for SrTiO3(100) surface structure