INRIM tool for satellite clock characterization in GNSS