Real-Juve repeat of Champions League final a ‘great tie’ – Butragueno