IEE Colloquium on Recent Progress in the Development of Geothermal Hot Dry Rock Technology