Text this: Exploring associations between active school environments and children’s physical activity, mental health and educational performance in Greater London primary schools: the Health and Activity of Pupils in the Primary Years (HAPPY) study protocol