Spare parts inventory pooling: how to share the benefits?