What's the difference between an envelope number and a case number?