Probabilistic Inference in Hybrid Domains by Weighted Model Integration