How long does it take to cook a partially cooked ham?