Cloud management company Box’s quarterly revenue jumps 30 percent