The Buttercoin trade execution engine