Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing