who did porto beat in the cl final