Cooking green beans for a crowd