the gravel mining is part of the industrial activities of the local area