Sequential Effect Systems With Control Operators