Interval Methods for Robust Sliding Mode Control Synthesis of High-Temperature Fuel Cells with State and Input Constraints