Slow-cooked Iberian pork tenderloin