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