juan manuel santos net worth