On the Tractability of SHAP Explanations