Texas executes man who questioned evidence from 2000 carjacking trial