Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints