Composition Estimators for a Distillation Column: Theory and Experiments