HMD Global to Bring Nokia 7.1 with PureDisplay to US