Japan launches 4th GPS satellite