The four laws of black hole mechanics