Mouse genetic approaches to studying functionally defined neural circuits and neurodevelopmental disorders