Optimization and Physics: On the Satisfiability of Random Boolean Formulae