Modeling gravimetric signatures of third-degree ocean tides and their detection in superconducting gravimeter records