Global optimization with machine-learning models embedded