Test procedure and sample size determination for a proportion study using a double-sampling scheme with two fallible classifiers