Identification and estimation of causal effects using non-concurrent controls in platform trials | Synapse