The NBCEI employee lay-off procedure