Structure-function analyses of thrombomodulin by gene-targeting in mice: the cytoplasmic domain is not required for normal fetal development.