Dynamic modelling for microprocessor thermal control of buildings using identification techniques