vaults make financial products programmable