The Computational Complexity of Propositional Cirquent Calculus (Logical Methods in Computer Science, 2015)