Efficient Search-Based Weighted Model Integration