Added WorkEffort.remainingWorkTime so that estimatedWorkTime can remain the original estimate, for long-lived work efforts