Mining the earth's heat hot dry rock geothermal energy (Springer, 2012)