Approximate multipliers can boost both accuracy and efficiency in neural networks. — Synthesis