Crisis Mapping Syria: Automated Data Mining and Crowdsourced Human Intelligence