Semiconductor-half metal transition at the Fe3O4(001) surface upon hydrogen adsorption