The formate and redox mechanisms of water-gas shift reaction on the surface of Ag: A nanocluster model based on DFT study