Strict Partitioning for Sporadic Rigid Gang Tasks