A mixed-integer non-linear problem formulation for miscible WAG injection