Tampa International adding new terminal