Quasi-uniformization of topological spaces