On redistributive taxation under the threat of high-skill emigration