construction a mine