Spatio-temporal cokriging crime predictions using social media data: a multi-type case study in San Jose, California