Tiktoken: High-Performance Tokenizer for OpenAI Models