Introduction to Mixed Boolean-Arithmetic