World food prices fall at softer pace in October