I'll be heading from Dallas to JFK to Barcelona. I only have about 90 minutes of connection time at JFK. Is that sufficient? Do i have to claim my luggages and go through immigration again at JFK? Please let me know what the MINIMUM connection time I need at the airport. Many thanks in advance.