Existence and Compactness of Minimizers for Level-Bounded Convex Programs