Okularer, linser