Text this: The Loss and Recovery Potential of Net Ecosystem Productivity in Mining Areas: A Global Assessment Based on Data for 2000–2020