A Computational Model for Warehouse Analysis and Design