The role mining problem | Synapse