What is the value of tan(pi/3)?