Describir: An Abstract Machine Approach to Preserving Digital Information