Design and Analysis of Approximate Redundant Binary Multipliers