Proof complexity - an introduction