Wie wird die Beschäftigungszeit laut TVöD berechnet?