Mining and gravel pits