The full white paper is available on request.