Text this: Distributed Real-Time Temperature and Energy Control of Energy Efficient Buildings via Geothermal Heat Pumps