What instrument is used by eye care professionals to measure the intraocular pressure of the eye, helping to screen for glaucoma?