1-Bit Matrix Completion under Exact Low-Rank Constraint