Analytical Performance Evaluation of Massive MIMO Systems with 1-bit DACs