Tag: vivint ceo todd pedersen net worth