Lessons from Germany’s hard coal mining phase-out: policies and transition from 1950 to 2018