A Branch-Heterogeneous Model of Protein Evolution for Efficient Inference of Ancestral Sequences