How to obtain the total count of leases in Vault