Plasmid chromosome isolation: an improved batch procedure for large plasmids.