What Digital Reverb Actually Does