[math-fun] Antikythera device & lunar navigation