W3 theory: robust computational thermochemistry in the kJ/mol accuracy range.