Biostatistics: Order Statistic Formulation of the Power of Two-Stage Genotyping with Fixed Sample Size