The space complexity of cutting planes refutations