Automated methods for checking differential privacy