High-efficiency electro-transformation of Escherichia coli with DNA from ligation mixtures.