Bush formally launches “campaign against terrorism”