Surgical Navigation Systems and Theoretical Analysis of Their Accuracy