OpenAI signs up its first higher education customer