SMS: Introduction to mathematical optimization