The sorites paradox and higher-order vagueness