Are Birmingham–Shuttlesworth International Airport and Fernando Luis Ribas Dominicci Airport located in the same state?