how many people use the internet in the EU in 2013?