ken dodd net worth