How many pounds of pulled pork for 75 people