Coal transitions—part 1: a systematic map and review of case study learnings from regional, national, and local coal phase-out experiences