irving is part of texas