An averaging technique for highly-oscillatory Hamiltonian problems