How rebound tonometry actually works