Celonis takes $27.5M to grow the market for big data process mining