Machine Learning for Scalable and Optimal Load Shedding Under Power System Contingency