How should primary aqueductal stenosis in adults be treated? – A review