Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence