Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes