Augmented-reality contact lens is making its way toward production