richardson is part of texas