The humble history of the pork tenderloin