Xiaomi exec Barra joins Facebook to lead virtual reality business