Density functional theory study of the NO2-sensing mechanism on a WO3 (0 0 1) surface: the role of surface oxygen vacancies in the formation of NO and NO3