Towards a Design Philosophy for Interoperable Blockchains