Computational Foundations of Digital Twin Technologies