Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers