Principled Deep Neural Network Training through Linear Programming