Sot 1 Maji, Dita Ndërkombëtare e Punëtorëve, si lindi dhe historiku i kësaj dite