What procedure could be used after PCR is complete to make certain that the amplification process worked properly and that the correct sequence was amplified?