Technology options for feeding 10 billion people