Nonlinear integer goal programming models for acceptance sampling