Sharp Finite-Time Iterated-Logarithm Martingale Concentration