Mining big data in real time