Trimble Divests Majority of Mining Information Systems to Herga Group