Physical activity and mental health in an Irish population