Overtime in Europe: Regulation and practice