The Tractability of SHAP-scores over Deterministic and Decomposable Boolean Circuits