How much pulled pork for 100 people