ashok varadhan net worth