Dynamic Optimization of Waterflooding With Smart Wells Using Optimal Control Theory | Synapse