Optimization Theory Petr Lachout