Rúben Semedo (Rúben Afonso Borges Semedo) - Nationalmannschaft