GPS geodesy for tectonics in a nutshell