K-stability and minimal model program