Mixed Integer Nonlinear Programs for Gas Network Optimization (invited plenary), Forum „Math-for-Industry“ 2014, Institute of Mathematics for Industry, Kyushu University, Fukuoka, Japan, Thorsten Koch