The efficiency of human trainers at OpenAI increases over time as their use of AI assistance grows