Incorporated Jaume's and Boris's suggestions. Changed the system capacity concept to collision-free constraint. Some other symbols changed for a better understandig