AlphaServer ES47, ES80, and GS1280 Systems Technical Summary