Optimum design-based ratio estimators of the distribution function