The asymptotic numerical solution of highly oscillatory second-order differential equations