Optimal finite-time bit erasure under full control.