Social Sensing and Big Data Computing for Disaster Management