what is doc severinsen net worth