miners ore dressing and quarrying in