A density functional theory study of the hydrogenation and reduction of the thio-spinel Fe3S4{111} surface.