Has the UK campaign to end loneliness reduced loneliness and improved mental health in older age? A difference-in-differences design