How all-you-can-eat buffets are designed