Portugal mobile users up 1.2% in Q2 to 16.4 million