HP ships dense 4-socket servers for virtualized environments