Receding-horizon Supervisory Control of Green Buildings