Energy Transitions amidst Regime Change: Mining Coal in the Early People’s Republic of China