Minimal model program (Mori theory, extremal rays) Birational geometry mathematics