Bitcoin PIPEs can be used to construct shared-collateral Bitcoin lending pools