10万吨级船坞尺寸多大