Mining of sand and gravel