A branch-and-bound algorithm for the inference of ancestral amino-acid sequences when the replacement rate varies among sites: A