Mining electrification: DC and renewables to the rescue