Spaten: A spatio-temporal and textual big data generator | IEEE Conference Publication | IEEE Xplore