What is maximum digging depth of the hydraulic dredger? (in m)