How long does it take to cook a semi boneless ham?