工人常说的一道等于多少毫米