A combined DFT/LEED-approach for complex oxide surface structure determination: Fe3O4(0 0 1)