A Complete Characterization of the Approximability of Maximization Problems Derived from Boolean Constraint Satisfaction