Analysing Interoperability in Digital Twin Software Architectures for Manufacturing