Deadline for REAL ID extended, giving US air travelers a reprieve