已知菱形ABCD的周长为16,角D=120度,E为边AB的中点,EF垂直于AC于F,求EF的长