how much is todd howard worth