Impact of occupational elemental mercury exposure on the health of miners in the Idrija mercury mine