Practical factors of envelope model setup and their effects on the performance of model predictive control for building heating, ventilating, and air conditioning systems