High radon exposure in a Brazilian underground coal mine