Bitcoin Liquid Staking: Mechanism Design and Liquidity Implications