A Practical Approach to Satisability Modulo Linear Integer Arithmetic