World food prices dip in October, but remain higher than a year ago