First-principles studies of the electronic and structural properties of vanadium dioxide and characterization of VO 2 (011) surfaces