ISO 9001 and the Push for Machine-Readable Standards