Optimal Planning with Learned Neural Network Transition Models