Existence and degeneration of Kähler-Einstein metrics on minimal algebraic varieties of general type