Texas executes man for retired professor’s killing