OPEC: Crude output declines in July