Sequential operators in computability logic