Constrained Abstractive Summarization: Preserving Factual Consistency with Constrained Generation | Synapse