Certifying Robustness via Topological Representations