How is the large hadron collider a superconductor?