Practical globally optimal consensus maximization by Branch-and-bound based on interval arithmetic. (July 2021)