Astrocytic β-catenin signaling via TCF7L2 regulates synapse development and social behavior.