Propositional Proof Complexity: Fifteen (or so) Years After