Mozilla's search revenue jumps 31%, likely due to nearly $1B Google deal