10万吨级船坞尺寸是多少