Numerical simulation of the Moon's rotation in a rigorous relativistic framework