Plateaus and plateau search in Boolean satisfiability problems