Lyapunov spreading of semiclassical wave packets for the Lorentz gas: theory and applications.