Storing energy in disused underground mine voids: comparing pumped water- and compressed air-based technologies Academic Article