¿Cuáles son las operadoras que ganaron o perdieron más líneas móviles en mayo?