Lean Foundations: The 5 Principles of Lean