Principal and antiprincipal solutions at infinity of linear Hamiltonian systems