EEG amplifier signal pipeline, and why you (mostly) do not need to worry about aliasing