Is there a convenient way to convert ExportedProgram with dynamic shapes to static shapes, like onnx.load with input shapes?