a mining plantestablishing a quarry