Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes