Erster Mai, Feiertag