A Watermark for Large Language Models