Facebook buys AR startup building a 1:1 digital map of the physical world