Encoding lenses with focal lengths lower than the Nyquist limit using high phase-modulation displays Academic Article 2019