Modelling and Distributed Control for Greenhouse Air-Conditioning