Gender, employment and working time preferences in Europe