Efficient model predictive control for nonlinear systems modelled by deep neural networks