Number of US workers laid off