The formation of black holes in general relativity: (after D. Christodoulou)