Feds encrypt 800,000 government laptops, 1.2 million more to go