Праздник труда, День труда, Праздник Весны и Труда, День международной солидарности трудящихся