How much brisket for 20 people