Progress in High-Dimensional Percolation and Random Graphs (CRM Short Courses)