NUM hails court settlement that gives control of Optimum Coal Mine/Terminal to Liberty Coal