Two human TNF receptors have similar extracellular, but distinct intracellular, domain sequences