Recent progress in our understanding of 4-manifolds