Towards Differentially Private Truth Discovery for Crowd Sensing Systems