Microsoft is tapping machine learning to curb ‘email overload’