Contrast of Real-Time Fluorescent PCR Methods for Detection of Escherichia coli O157:H7 and of Introducing an Internal Amplification Control