Search Problems and Bounded Arithmetic