GROOPS: A software toolkit for gravity field recovery and GNSS processing