A work-optimal deterministic algorithm for the asynchronous certified write-all problem