GABRA2 and Dravet syndrome: Gabra2 is a genetic modifier of Dravet syndrome in mice