Adaptive estimation of a time-varying phase with coherent states: Smoothing can give an unbounded improvement over filtering