Cooking time for whole pork loin