Larry David lists mansion for $15 million