What word for a retired professional comes from the Latin for "having earned a discharge"?