Passive analysis and finite-time anti-disturbance control for semi-Markovian jump fuzzy systems with saturation and uncertainty.