Sobolev spaces of maps between manifolds: a path from Topology to PDEs