Pebble Games, Proof Complexity, and Time-Space Trade-offs (Logical Methods in Computer Science, 2013)