Dredging - past, present, and future