Cerebrotendinous cholestanolosis in relation to other cerebral xanthomatoses