HP to buy Aruba Networks in $3 billion deal