Gravar-mail: Exploring the trade-offs between electric heating policy and carbon mitigation in China