There's a certain scale where it is definitely possible to do it cheaper, but the government isn't really able to do that. Even if the program didn't crash and burn (fairly likely- there's plenty of examples of billion dollar government software programs that turned into vaporware), it'd be taking on a ton of risk just to set up the same thing without the AWS profit margin (maybe 10-20%?)