Modeling CO2 degassing and pH in a stream-aquifer system