Exact Predicates, Exact Constructions and Combinatorics for Mesh CSG