Algorithm 744: a stochastic algorithm for global optimization with constraints (ACM transactions on mathematical software, 1995)