Modeling and Simulation of Lean/Kanban Practices for Software Development