Twitter revenue jumps 18% to $ 787 million\, users down