Gradient-based simulation optimization under probability constraints