denton is part of texas