Three-Arm Noninferiority Trials with a Prespecified Margin for Inference of the Difference in the Proportions of Binary Endpoints