Evaluation of four control strategies for building VAV air-conditioning systems