A radon personal dosemeter for miners