Radon Mitigation Through Depressurization: An Overview