ConSequence: Synthesizing Logically Constrained Sequences for Electronic Health Record Generation