Contraction Theory for Machine Learning