HMD Global Makes Nokia X10, X20 Official as 5G Mid-Range Phones