Computational models of topological spaces