Model reduction and mechanism comparison of hydrogen/oxygen auto-ignition