How much pulled pork per person