Synj1 haploinsufficent mice phenotype