SHAP Meets Tensor Networks: Provably Tractable Explanations with Parallelism