Text this: Depressive symptoms and the general health of retired professional footballers compared with the general population in the UK: a case–control study