River dredging and sediment separation