over 400 employees of the Goa government’s Industrial Technical Institute (ITI)