Disentangling the Role of SHANK1 in a Mouse Model for Autism Spectrum Disorder: From Brain to Behavior