Group strategy-proof social choice functions with binary ranges and arbitrary domains: Characterization results