Embedding Symbolic Temporal Knowledge into Deep Sequential Models