Learning Symbolic Representations of Hybrid Dynamical Systems