Marinated pork tenderloin recipe