BBC Sport - Euro 2016 final: Eder scores extra-time winner for Portugal