A new language for optimization