Mixing Time Guarantees for Unadjusted Hamiltonian Monte Carlo