Theory of the Electronic Structure of ReO3 (001) Surface and the Surface Oxygen Vacancy