A Game-Theoretic Analysis of Shard-Based Permissionless Blockchains