differences between mining and river sand