Digital preservation: file formats and how to change them