Metrization of Topological Spaces