It’s official—NSA did keep its e-mail metadata program after it “ended” in 2011