A differentially private network traffic shaping framework