Soccer-Portugal coach Martinez to leave after World Cup exit to Spain