mining stone processing area at a mine