What HP’s Aruba acquisition could mean to customers