Workers’ Day: Federal govt declares Monday public holiday