HP awarded U.S. Army contract for cloud computing