Microsoft acquires process mining vendor Minit to grow its automation offerings (TechCrunch)