Cloud-based Infrastructure for Process Intelligence