What is the value of cos((5pi)/3)?