Development of an autism severity score for mice using Nlgn4 null mutants as a construct-valid model of heritable monogenic autism