Machine Learning for Cloud Detection in IASI Measurements: A Data-Driven SVM Approach with Physical Constraints