El origen del Primero de Mayo, Día Internacional de los Trabajadores