Probabilistic energy management for building climate comfort in smart thermal grids with seasonal storage systems