Limited Feedback for MU-MIMO Systems with One-Bit ADCs: A Coding-Theoretical Prespective