Dietary cholesterol promotes repair of demyelinated lesions in the adult brain