Nokia, T-Mobile US agree $3.5 billion deal, world’s first big 5G award