Will the government pay OpenAI to run an ad-free free tier?