Real-time data platforms: An introduction