On Mixed-Integer Random Convex Programs