Diversify to survive? Why restaurant menus seem to get longer and longer