Weak memory modelling tutorial