A Programming Framework for Crowd-Sensing Applications