Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes