https://9dok.net/document/zlgx765g-solving-mixed-integer-programming-problems-piecewise-linearization-methods.html