difference between document type declaration and document type definition