¿De qué tipo es el acelerador de protones instalado en el CERN?