Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics