Dosimetric models used in the Alpha-Risk project to quantify exposure of uranium miners to radon gas and its progeny.