What the CERN hadron collider is