Augmented reality display maker DigiLens nabs $25 million