Tensioning tools for stainless steel cable ties