Cruciform-resolvase interactions in supercoiled DNA