Mori's minimal model program