News of bin Laden's death causes Internet traffic spike (but nowhere near a record)