A uniqueness theorem for horizontal loop electromagnetic frequency soundings