Theory And Simulation Of Multi-Gev Laser Wakefield Acceleration At Khz Repetition Rates