Ukraine coal production propped up by miners who fled the Russian invasion.