Message passing in random satisfiability problems