Exponential dichotomy and rotation number for linear Hamiltonian systems