Efficient Nonlinear Precoding for Massive MU-MIMO Downlink Systems with 1-Bit DACs