A study of different modeling approaches for model-based building thermal control