Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes