Industrial energy substitution and a revised Allen elasticity in China