Fundamental notions of analysis in subsystems of second-order arithmetic