Elucidating the relationship between gaseous O2 and redox potential in a soil aquifer treatment system using data driven approaches and an oxygen diffusion model