OptiMathSAT: A Tool for Optimization Modulo Theories