Perspectives on models of spinal muscular atrophy for drug discovery