五一劳动节的由来有哪些人物