Hugo Barra is leaving Xiaomi to lead Facebook’s virtual reality division