The contribution of mouse models to understanding the pathogenesis of spinal muscular atrophy