David J. C. MacKay articles