Infusing Domain Knowledge into Gaussian Process Regression: Portable Prediction Model for Indoor Temperature