Specific cutting energy of a grab bucket compared to that of a cutter head and a bucket dredger when working under water