A contribution to the optimal GPS satellite configuration for differential positioning