The differential diagnosis of vertical strabismus from prism cover test data using an artificially intelligent expert system