What is a micrometer? How is it used?