Contraction Theory for Nonlinear Stability Analysis and Learning-based Control: A Tutorial Overview