I cannot give a good answer to this question. And

2) Why this definition of model category is the right way to give a philosophy of homotopy theory? Why didn't we use any other definition?

3) Has model category been used substantially in any area not related to algebraic topology?