Fe3O4 surface electronic structures and stability from GGA + U