New look-ahead Lanczos-type algorithms for linear systems