The MathSAT5 SMT Solver