a formal approach to the role mining problem - RUcore