A Mathematical Model of Package Management Systems