Binary Matrix Factorization via Dictionary Learning