Aruba Networks reports record quarterly revenues