1 DE MAIG, DIA INTERNACIONAL DELS TREBALLADORS