Optimal dispatching of wind-PV-mine pumped storage power station: A case study in Lingxin Coal Mine in Ningxia Province, China