Progress in High-Dimensional Percolation and Random Graphs