Between Theory and Observations: Tobias Mayer's Explorations of Lunar Motion, 1751-1755