20190716 gadgets-news: It's official; Xiaomi Mi A3 to launch on July 17 in Spain