The Approximability of Set Splitting Problems and Satisfiability Problems with no Mixed Clauses