Design and performance of a Martian autonomous navigation system based on a smallsat constellation. (February 2023)