Polygraphs: From Rewriting to Higher Categories