The Codex Leicester by Leonardo da Vinci, sold by order of the Trustees of the Holkham estate