The benefits of extra-curricular activities and holiday activities for children’s social development