Leisure-time exercise ‘reduces depression risk’