Monitoring of short-lived radon progeny in mines.