Korean vowel harmony has weak phonotactic support and is losing productivity (accepted)