Supersound many-valued logics and Dedekind-MacNeille completions