Thermal modeling of a greenhouse with an integrated earth to air heat exchanger: an experimental validation