A density functional theory study of the water–gas shift reaction promoted by Pt-based catalysts