Has portugal ever made it to the world cup finals