Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization