Is this the global version of the Redmi Note 9 Pro? Xiaomi Philippines is set to launch its first new