Is the difference between the ratings of the quality of port infrastructure in Nicaragua in 2007 and 2012 greater than the difference between the ratings of the quality of port infrastructure in Nigeria in 2007 and 2012 ?