Effects of Sensor Selection and Additional State Measurements on HVAC Predictive Control