Non-commutative localization