Interpretable Matrix Completion: A Discrete Optimization Approach