Text this: Forward Modeling of the Phobos Tides and Applications to the First Martian Year of the InSight Mission.