Nokia uses analytics, machine learning to help mobile providers