First-principles study on the electronic structure and optical properties for SnO2 with oxygen vacancy