Towards a True Automatic Archaeology: Integrating Technique and Theory