Fast sampling of satisfying assignments from random k-SAT