World rice statistics: 1985 - IRRI (IRRI, 1985)