Compositional reactive-transport modeling of engineered waterflooding