Strand exchange in lambda integrative recombination: genetics, biochemistry, and models.