A Human-Grounded Evaluation of SHAP for Alert Processing