Little-noticed spending bill provision could fix green card backlog