Tkachenko modes and quantum melting of Josephson junction types of vortex array in rotating Bose?Einstein condensates