Deadline for REAL ID for U.S. travel is a year away