Ab initio solution and refinement of two high-potential iron protein structures at atomic resolution