High-pressure laminar flame speeds and kinetic modeling of carbon monoxide/hydrogen combustion