The CP-SAT Primer