The non-commutative minimal model program