Upper bounds on complexity of Frege proofs with limited use of certain schemata