Pakistan faces hard choices amid budget constraints: IMF