Verifiable by Design: Aligning Language Models to Quote from Pre-Training Data