Software AG acquires industrial analytics provider TrendMiner