Title: A survey of underwater cutting techniques