A comparative DFT study of the mechanical and electronic properties of greigite Fe3S4 and magnetite Fe3O4.