Text this: Boolean Matrix Factorization via Nonnegative Auxiliary Optimization