Handbook of Tilting Theory: Tilting theory and homologically finite subcategories with applications to quasihereditary algebras