Elucidation of interactions between integration host factor and Holliday junctions