micrometer caliper (or calipers)