Text this: Modeling and synthesis of quality-energy optimal approximate adders