Differentially Private Occupancy Monitoring from WiFi Access Points