As a result of the freedom, different encoders can result in different quality even if which aspect of the file is the same?