Lido proposes allocating up to $5.8 million in staked ETH to back Kelp exploit shortfall