How do you use the half-angle identity to find the exact value of cos(-pi/12)?