On interval fuzzy S-implications