Reflective grating interferometer for measuring the focal length of a lens by digital moiré effect