Hybrid Zonotopes: A Mixed-Integer Set Representation for the Analysis of Hybrid Systems