How Crypto Bridges Work: Lock-and-Mint and Liquidity Pool Models