Varieties of topological groups a survey