Microsoft acquires process mining firm Minit to strengthen automation biz