OPEC extends production cuts for 9 months, to shore up oil prices