The polymerase chain reaction: A stochastic model, methods of quantification, and applications to HIV