Text this: Implementing a VLBI time delay model for Earth-orbiting satellites: partial derivatives and verification /