October global food prices at highest level in 9 months