Uniform interpolation, automata and the modal U-calculus by G. D'Agostino