Radon risks are estimated by studying uranium miners