How do you find the exact value of cos(pi/3)cos(5pi/12)-sin(pi/3)sin(5pi/12)?