20160720 tech.tech-news: Microsoft posts $3.1 billion in profit; a year after big loss