Lenovo made an augmented reality headset for ‘Star Wars’ games