Big social data and urban computing : First Workshop, BiDU 2018, Rio de Janeiro, Brazil, august 31, 2018, revised selected papers (2019)