Aruba Networks posts higher quarterly revenue