Intuitionism and vagueness