Immigration, social integration and mental health in Norway, with focus on gender differences