电磁阀线圈尺寸怎么测量的