Tractable Bounding of Counterfactual Queries by Knowledge Compilation