Binary Matrix Completion for Recommender Systems