pH control for hot tubs