People around world mark International Workers' day