Hybrid SRL with Optimization Modulo Theories