Threshold Boolean form for joint probabilistic constraints with random technology matrix