For anyone interested in a more detailed account of (general-)relativistic effects in GPS and other positioning systems, I really liked this article: https://pmc.ncbi.nlm.nih.gov/articles/PMC5253894/