Synaptic dysfunction and abnormal behaviors in mice lacking major isoforms of Shank3.