Modelling of a Heat Recovery Ventilator Incorporating Thermoelectric Modules