Text this: Width and size of regular resolution proofs