Retinal image size, spectacle magnification, contact lens optics