An adventure in applied science: a history of the International Rice Research Institute