Structural modeling of iron halogenases: Synthesis and reactivity of halide-iron(iv)-oxo compounds