Privacy Satisfaction in Software (PriSAT)