How many hours of compensation time-off does a driver have left, if he has used 24 hours of a shortened weekly rest?