How do you use the half angle formula to find #sin (pi/12)#?