Which of the following is a procedure to separate DNA fragments?