Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and trends in programming languages, 2017)