Technical characteristics of GPS differential transmissions from maritime radiobeacons