Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes