Krylov subspace techniques for model reduction and the solution of linear matrix equations