Treatment of progressive multiple sclerosis: what works, what does not, and what is needed