10万吨船坞是什么意思