How long does it take to cook a 6 pound tenderloin?