Exact geometric predicate to test if a point is contained in a simplex