what types of mining are used for iodine