Cooking a beef tenderloin