Differences in epidemiology and mortality between men and women with HIV infection in the CoRIS cohort from 2004 to 2014