Efficient Reachability Analysis for Closed-Loop Systems with Neural Network Controllers