excavating huge caverns below mars ' surface by destroying cubic miles of rock , converting the matter so destroyed into energy and storing that energy for future use , they now lived in comfortable isolation .