How fast is the Large Hadron Collider?