Stochastic Model Predictive Controller for the Integration of Building Use and Temperature Regulation