Gravar-mail: Boolean Matrix Factorization via Nonnegative Auxiliary Optimization