Design of manufacturing systems through simulation optimization: a new approach based on mathematical programming