Verification and validation of digital twins: a systematic literature review for manufacturing applications | Synapse