Toward Efficient Physical and Algorithmic Design of Automated Garages