The Complexity of Some Geometric Proof Systems