Pennsylvania posts 13% increase in total June gaming revenue