Random walk models for DNA synapsis by resolvase