Which office is the agency in the executive office of the president that provides the president with budgetary information and advice and is responsible for compiling the president's annual budget proposal to congress?