Withdrawals: Automating Lido Validator Exits