Use of energy piles in a residential building, and effects on ground temperature and heat pump efficiency