A DFT study of the structures, stabilities and redox behaviour of the major surfaces of magnetite Fe3O4 | Synapse