The political economy of energy tax differentiation across industries: theory and empirical evidence