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