Protecting privacy when mining and sharing user data