Behind DeepSeek’s greener and leaner chatbot