Theoretical study of the complex reaction of O(3P) with trans-2-butene