lab procedures for restriction enzyme digestion of dna