Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming.