milgram's classifying space of a topological group