PseudoBoolean models for portfolio selection