Redundancy-Aware and Budget-Feasible Incentive Mechanism in Crowd Sensing. (11th January 2019)