How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm