Does anyone have detailed information on the technology stack? What software are they using for the large scale modeling and model management? Is the AR solution referred to in the article custom? Whose bluetooth beacons are they using for indoor positioning?