How much salt do you put in a slushie maker?