what is a mining mil