Transactional Properties of Permissioned Blockchains