Data-driven HVAC Control Using Symbolic Regression: Design and Implementation